Vaught's Conjecture Without Equality
نویسنده
چکیده
Suppose σ ∈ Lω1,ω(L) is such that all equations occurring in σ are positive, have the same set of variables on each side of the equality symbol, and have at least one function symbol on each side of the equality symbol. We show that σ satisfies Vaught’s conjecture. In particular this proves Vaught’s conjecture for sentences of Lω1,ω(L) without equality.
منابع مشابه
Vaught's conjecture for unidimensional theories
In Bue93b] we proved Vaught's conjecture for all superstable theories of nite rank; that is, such a theory has countably many or continuum many countable models. While this proof does settle Vaught's conjecture for unidimensional theories a sharper result can be obtained for these theories and in places the proof can be simpliied. Let T be a properly unidimensional theory with < 2 @ 0 many coun...
متن کاملVaught's conjecture for superstable theories of nite rank
In this paper we prove Vaught's conjecture for superstable theories in which each complete type has nite U? rank. The general idea is to associate with the theory an V ? deenable group G (called the structure group) which controls the isomorphism types of the models. We use module theory to show that when the theory has few countable models and M is a countable model there is a nice decompositi...
متن کاملSome variants of Vaught's conjecture from the perspective of algebraic logic
Vaught’s Conjecture states that if Σ is a complete first order theory in a countable language such that Σ has uncountably many pairwise non-isomorphic countably infinite models, then Σ has 2א0 many pairwise non-isomorphic countably infinite models. Continuing investigations initiated in [17], we apply methods of algebraic logic to study some variants of Vaught’s conjecture. More concretely, let...
متن کامل5 Counterexamples to Vaught ’ s Conjecture
A sentence σ ∈ L ω1,ω is a counterexample to Vaught's Conjecture, or simply a counterexample, if ℵ 0 < I(σ, ℵ 0) < 2 ℵ0 , i.e., σ has uncountably many countable models but fewer than continuum many models. Fix σ a counterexample. A key fact about counterexamples is that there are few types for any count-able fragment. Let F be a fragment. Let
متن کاملVaught's conjecture for superstable theories of finite rank
In [Vau61] Vaught conjectured that a countable first order theory has countably many or 2א0 many countable models. Here, the following special case is proved. Theorem. If T is a superstable theory of finite rank with < 2א0 many countable models, then T has countably many countable models. The basic idea is to associate with a theory a ∧ − definable group G (called the structure group) which con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 56 شماره
صفحات -
تاریخ انتشار 2015